function mouse_over(what) { forWhat = "img/butt/"+what.id+"_1.gif"; what.src = forWhat; //if (document.getElementById) document.getElementById(what).src=''; //else if (document.all) document.all[what].style.visibility='visible'; } function mouse_out(what){ forWhat = "img/butt/"+what.id+"_0.gif"; what.src = forWhat; } function confirmSubmit(txt) { if (!txt) txt = "Pokračova»?"; var agree=confirm(txt); if (agree) return true ; else return false ; } function new_window(pict,name,width,height) { b=new_window.arguments; title = "CM Languages"; msgWindow=window.open("","displayWindow","menubar=no,scrollbars=no,width="+b[2]+",height="+b[3]+",top=130,left=330"); msgWindow.document.write(""+title+" - "+name+""); msgWindow.document.write("\"Zatvor"); msgWindow.document.write("") } MenuImage = new Array(); MenuImage[0] = new Image(); MenuImage[0].src = ""; // Title: Timestamp picker // Description: See the demo at url // URL: http://us.geocities.com/tspicker/ // Script featured on: http://javascriptkit.com/script/script2/timestamp.shtml // Version: 1.0 // Date: 12-05-2001 (mm-dd-yyyy) // Author: Denis Gritcyuk ; // Notes: Permission given to use this script in any kind of applications if // header lines are left unchanged. Feel free to contact the author // for feature requests and/or donations function show_calendar(str_target, str_datetime) { var arr_months = ["Január", "Február", "Marec", "Apríl", "Máj", "Jún", "Júl", "August", "September", "Október", "November", "December"]; var week_days = ["Ne", "Po", "Ut", "St", "Št", "Pi", "So"]; var n_weekstart = 1; // day week starts from (normally 0 or 1) var dt_datetime = (str_datetime == null || str_datetime =="" ? new Date() : str2dt(str_datetime)); var dt_prev_month = new Date(dt_datetime); dt_prev_month.setMonth(dt_datetime.getMonth()-1); var dt_next_month = new Date(dt_datetime); dt_next_month.setMonth(dt_datetime.getMonth()+1); var dt_firstday = new Date(dt_datetime); dt_firstday.setDate(1); dt_firstday.setDate(1-(7+dt_firstday.getDay()-n_weekstart)%7); var dt_lastday = new Date(dt_next_month); dt_lastday.setDate(0); // html generation (feel free to tune it for your particular application) // print calendar header var str_buffer = new String ( "\n"+ "\n"+ " Calendar\n"+ " \n"+ "\n"+ "\n"+ "\n"+ "\n\n
\n"+ "\n"+ "\n \n"+ " \n"+ " \n\n" ); var dt_current_day = new Date(dt_firstday); // print weekdays titles str_buffer += "\n"; for (var n=0; n<7; n++) str_buffer += " \n"; // print calendar table str_buffer += "\n"; while (dt_current_day.getMonth() == dt_datetime.getMonth() || dt_current_day.getMonth() == dt_firstday.getMonth()) { // print row heder str_buffer += "\n"; for (var n_current_wday=0; n_current_wday<7; n_current_wday++) { if (dt_current_day.getDate() == dt_datetime.getDate() && dt_current_day.getMonth() == dt_datetime.getMonth()) // print current date str_buffer += " \n"; dt_current_day.setDate(dt_current_day.getDate()+1); } // print row footer str_buffer += "\n"; } // print calendar footer /* str_buffer += "\n\n\n" + */ str_buffer += "
"+ "««"+ "" +arr_months[dt_datetime.getMonth()]+" "+dt_datetime.getFullYear()+""+ "»»
"+ ""+ week_days[(n_weekstart+n)%7]+"
"; else if (dt_current_day.getDay() == 0 || dt_current_day.getDay() == 6) // weekend days str_buffer += " "; else // print working days of current month str_buffer += " "; if (dt_current_day.getMonth() == dt_datetime.getMonth()) // print days of current month str_buffer += ""+ ""; else // print days of other months str_buffer += ""+ ""; str_buffer += dt_current_day.getDate()+"
"+ ""+ "Time:
\n" + "
\n" + "\n" + "\n"; var vWinCal = window.open("", "Calendar", "width=200,height=200,status=no,resizable=yes,top=200,left=200"); vWinCal.opener = self; var calc_doc = vWinCal.document; calc_doc.write (str_buffer); calc_doc.close(); } // datetime parsing and formatting routimes. modify them if you wish other datetime format function str2dt (str_datetime) { var re_date = /^(\d+)\.(\d+)\.(\d+)/; if (!re_date.exec(str_datetime)) return alert("Invalid Datetime format: "+ str_datetime); return (new Date (RegExp.$3, RegExp.$2-1, RegExp.$1, RegExp.$4, RegExp.$5, RegExp.$6)); } function dt2dtstr (dt_datetime) { return (new String ( dt_datetime.getDate()+"."+(dt_datetime.getMonth()+1)+"."+dt_datetime.getFullYear()+"")); } function dt2tmstr (dt_datetime) { return (new String ( dt_datetime.getHours()+":"+dt_datetime.getMinutes()+":"+dt_datetime.getSeconds())); }