document.write('8012');
 var current_page_views='8012';