document.write (" 12295 ");