document.write (" 12985 ");