document.write(' 4672 ');