document.write (" 12886 ");