document.write(8040);