'; echo convert('10.0', 1024.0); // 10240