document.write('0757\n');