document.write('0940\n');