document.write(' 5243 ');