document.write(' 5240 ');