document.write(' 40012 ');