document.write(' 8040 ');