document.write (" 12419 ");