document.write (" 12279 ");