document.write (" 12486 ");