document.write('0472\n');