document.write (" 12283 ");