document.write (" 12079 ");