document.write(' 19240 ');