document.write (" 19240 ");