document.write(4001);