document.write('0983\n');