document.write('0952\n');