document.write (" 12059 ");