// set_last_preview():
// wird verwendet, um zu speichern, wann das letzte mal gepreviewed wurde. > Adminbar mit Special_Ext-Element

function set_last_preview(){
	d = new Date();
	last_preview = d.getTime();
}