document.write('0744\n');