document.write (" 12055 ");