document.write (" 18412 ");