document.write('0259\n');