document.write('0476\n');