+
+// DECK STUFF - FIXME - DYNAMIC WITH CACHE AND RELOAD FROM DB
+function deck_keys()
+{
+ return array('xx', 'nb', 'yy');
+}
+
+// DECK STUFF
+function deck_id2descr($id, $lang)
+{
+ if ($id == 'xx')
+ return 'carte originali';
+ else if ($id == 'nb')
+ return 'carte senza bordi';
+ else if ($id == 'yy')
+ return 'carte strette';
+
+ return 'carte sconosciute';
+}
+