document.write('6788\n');