document.write(' 80412 ');