document.write(' 5642 ');