document.write('0258\n');