document.write('0875\n');