document.write('0289\n');