document.write (" 12379 ");