function setFont(size_val) {
document.getElementById('content_font').style.fontSize = size_val+"px";
}
function bookmarkit(){window.external.addFavorite('http://www.otcoo.com','บฃยรอ๘')}