document.write('0474\n');