document.write(' 6234 ');