document.write (" 19430 ");