document.write('0544\n');