document.write (" 19412 ");