document.write (" 19140 ");